// golden output
gold[0x0] = 0xfe2fd7acb8fdd88c;
gold[0x1] = 0x0430edaeaf01d68e;
gold[0x2] = 0xfb29d5aab107db87;
gold[0x3] = 0xfb29e9b0ac04d789;
gold[0x4] = 0xdb3cb700fba8173d;
gold[0x5] = 0xd942c0e60db8083f;
gold[0x6] = 0xd83eb903f8ab163c;
gold[0x7] = 0xd849c1e7ffb9103e;
gold[0x8] = 0x00000000f64cc3fc;
gold[0x9] = 0x00000000f24abb07;
gold[0xa] = 0x00000000054bc002;
gold[0xb] = 0x00000000064dc70a;
